Programming Methodologies in GCLA
نویسندگان
چکیده
This paper presents work on programming methodologies for the programming tool GCLA. Three methods are discussed which show how to construct the control part of a GCLA program, where the definition of a specific problem and the set of intended queries are given beforehand. The methods are described by a series of examples, but we also try to give a more explicit description of each method. We also discuss some important characteristics of the methods.
منابع مشابه
Translating functional programs to GCLA *
This paper presents an attempt to do lazy evaluation in GCLA by translating functional programs into GCLA definitions and evaluating these using a proper procedural part. The resulting GCLA programs are described with some detail to illuminate different aspects of GCLA programming.
متن کاملGCLA II - A Definitional Approach to Control
This paper describes the logic programming language GCLA II, its operational semantics and parts of its theoretical foundations. GCLA II is a generalization of the language GCLA (Generalized Horn Clause Language) augmented by a method to guide and constrain proof search. The method is based on specification of strategies in a meta language that is a sub language of GCLA itself. A GCLA II progra...
متن کاملOn GCLA, Gisela, and MedView Studies in Declarative Programming with Application to Clinical Medicine
Using declarative programming a programmer should be able to concentrate on what a program should do without worrying to much about how it is done. To be able to advance declarative programming methodologies, real-world examples are needed that push the limits of the proposed programming techniques. In this thesis we focus on some aspects of declarative programming, mostly from an applied angle...
متن کاملA Note on Declarative Programming Paradigms and the Future of Definitional Programming
We discuss some approaches to declarative programming including functional programming, various logic programming languages and extensions, and definitional programming. In particular we discuss the programmers need and possibilities to influence the control part of programs. We also discuss some problems of the definitional programming language GCLA and try to find directions for future resear...
متن کاملA Definitional Approach to Functional Logic Programming
We describe a deenitional approach to the combination of functional and logic programming based on the theory of Partial Induc-tive Deenitions. The described method produces programs directly exe-cutable in the deenitional programming language GCLA. We show both a basic calculus for functional logic program deenitions and discuss a reened version where the rules deenitional resolution, deenitio...
متن کامل